TAGs: Kinetic energy formula